Rümmer, Philipp: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

[IEEE 2016 Fourth International Conference on Parallel, Distributed and Grid Computing (PDGC) - Waknaghat, India (2016.12.22-2016.12.24)] 2016 Fourth International Conference on Parallel, Distributed and Grid Computing (PDGC) - A comparative study of GPU verify and GKLEE

Panda, Anmol, Rummer, Philipp, Goveas, Neena

Year:

2016

Language:

english

File:

PDF, 134 KB

english, 2016

2

[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Deciding and Interpolating Algebraic Data Types by Reduction

Hojjat, Hossein, Rummer, Philipp

Year:

2017

Language:

english

File:

PDF, 35 KB

english, 2017

3

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Trau: SMT solver for string constraints

Abdulla, Parosh Aziz, Faouzi Atig, Mohamed, Chen, Yu-Fang, Diep, Bui Phi, Holik, Lukas, Rezine, Ahmed, Rummer, Philipp

Year:

2018

Language:

english

File:

PDF, 252 KB

english, 2018

4

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Exploring interpolants

Rummer, Philipp, Subotic, Pavle

Year:

2013

Language:

english

File:

PDF, 808 KB

english, 2013

5

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Executable Counterexamples in Software Model Checking

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

6

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 902 KB

english, 2011

7

Automatic analysis of DMA races using model checking andk-induction

Alastair F. Donaldson, Daniel Kroening, Philipp Rümmer

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.30 MB

english, 2011

8

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Automating regression verification

Felsing, Dennis, Grebing, Sarah, Klebanov, Vladimir, Rümmer, Philipp, Ulbrich, Mattias

Year:

2014

Language:

english

File:

PDF, 586 KB

english, 2014

9

Preface to special issue on satisfiability modulo theories

Griggio, Alberto, Rümmer, Philipp

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 273 KB

english, 2017

10

[ACM Press the 2nd ACM SIGPLAN International Workshop - Seattle, Washington (2013.06.20-2013.06.20)] Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13 - Joogie

Arlt, Stephan, Rümmer, Philipp, Schäf, Martin

Year:

2013

Language:

english

File:

PDF, 278 KB

english, 2013

11

[IEEE 2017 Formal Methods in Computer-Aided Design (FMCAD) - Vienna (2017.10.2-2017.10.6)] 2017 Formal Methods in Computer Aided Design (FMCAD) - Learning to prove safety over parameterised concurrent systems

Chen, Yu-Fang, Hong, Chih-Duo, Lin, Anthony W., Rummer, Philipp

Year:

2017

Language:

english

File:

PDF, 156 KB

english, 2017

12

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || A Tree-Based Approach to Data Flow Proofs

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

13

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Verified Certificate Checking for Counting Votes

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 563 KB

english, 2018

14

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Lattice-Based Refinement in Bounded Model Checking

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 801 KB

english, 2018

15

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Backeman, Peter, Rummer, Philipp, Zeljic, Aleksandar

Year:

2018

File:

PDF, 41 KB

2018

16

On recursion-free Horn clauses and Craig interpolation

Rümmer, Philipp, Hojjat, Hossein, Kuncak, Viktor

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 924 KB

english, 2015

17

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Optimizing horn solvers for network repair

Hojjat, Hossein, Rummer, Philipp, McClurg, Jedidiah, Cerny, Pavol, Foster, Nate

Year:

2016

Language:

english

File:

PDF, 201 KB

english, 2016

18

Ranking function synthesis for bit-vector relations

Cook, Byron, Kroening, Daniel, Rümmer, Philipp, Wintersteiger, Christoph M.

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 969 KB

english, 2013

19

Evaluation of two round baling systems for harvesting understory biomass

Juliana Lorensi do Canto, John Klepac, Bob Rummer, Philippe Savoie, Fernando Seixas

Journal:

Biomass and Bioenergy

Year:

2011

Language:

english

File:

PDF, 1003 KB

english, 2011

20

Automating regression verification of pointer programs by predicate abstraction

Klebanov, Vladimir, Rümmer, Philipp, Ulbrich, Mattias

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 956 KB

english, 2017

21

Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer

Journal:

KI - Künstliche Intelligenz

Year:

2010

Language:

english

File:

PDF, 307 KB

english, 2010

22

String constraints with concatenation and transducers solved efficiently

Holík, Lukáš, Janků, Petr, Lin, Anthony W., Rümmer, Philipp, Vojnar, Tomáš

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 478 KB

english, 2017

23

Guiding Craig interpolation with domain-specific abstractions

Leroux, Jérôme, Rümmer, Philipp, Subotić, Pavle

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1002 KB

english, 2016

24

An Approximation Framework for Solvers and Decision Procedures

Zeljić, Aleksandar, Wintersteiger, Christoph M., Rümmer, Philipp

Journal:

Journal of Automated Reasoning

Year:

2017

Language:

english

File:

PDF, 669 KB

english, 2017

25

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - The ELDARICA Horn Solver

Hojjat, Hossein, Rummer, Philipp

Year:

2018

Language:

english

File:

PDF, 1.27 MB

english, 2018

26

[ACM Press the 48th Design Automation Conference - San Diego, California (2011.06.05-2011.06.10)] Proceedings of the 48th Design Automation Conference on - DAC '11 - Test-case generation for embedded simulink via formal concept analysis

He, Nannan, Rümmer, Philipp, Kroening, Daniel

Year:

2011

Language:

english

File:

PDF, 470 KB

english, 2011

27

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || Towards Verification of Ethereum Smart Contracts: A Formalization of Core of Solidity

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 4.95 MB

english, 2018

28

Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic

Richard Bubel, Andreas Roth, Philipp Rümmer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 428 KB

english, 2008

29

[Lecture Notes in Computer Science] Verified Software. Theories, Tools, and Experiments Volume 11294 (10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers) || A Java Bytecode Formalisation

Piskac, Ruzica, Rümmer, Philipp

Year:

2018

Language:

english

File:

PDF, 905 KB

english, 2018

30

Integration of a security type system into a program logic

Reiner Hähnle, Jing Pan, Philipp Rümmer, Dennis Walter

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 518 KB

english, 2008

31

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Bixie: Finding and Understanding Inconsistent Code

McCarthy, Tim, Rummer, Philipp, Schaf, Martin

Year:

2015

Language:

english

File:

PDF, 856 KB

english, 2015

32

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Backeman, Peter, Rummer, Philipp, Zeljic, Aleksandar

Year:

2018

Language:

english

File:

PDF, 41 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски